Fix man pages build
authorJean Baptiste Favre <debian@jbfavre.org>
Fri, 25 Nov 2016 16:49:34 +0000 (17:49 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Fri, 18 May 2018 15:25:22 +0000 (16:25 +0100)
commit9f7a04f9ba16bb008dcbfb736abe32ca0c368605
tree9ff8e6f52425a1a08733af1e0c7f92f915dd44f0
parent97caa570f0110696164835a4020e2c622f84335a
Fix man pages build

Gbp-Pq: Name 0005-fix_documentation_build_option.patch
doc/manpages.py